$\forall$${\it es}$:event\_system\{i:l\}, $i$:Id.
\\[0ex]es{-}choose(${\it es}$; $i$) $\in$ $b$:Id$\rightarrow\mathbb{N}\rightarrow$es{-}state(${\it es}$; $i$)$\rightarrow$(?es{-}kindtype(${\it es}$; $i$; locl($b$)))